top_command (cmd_load currentFile [])

-- Should be "Set → Set".
top_command (cmd_infer_toplevel Normalised "F")

-- Should be "F A".
top_command (cmd_compute_toplevel DefaultCompute "F A")
